1. A programmer's introduction to computability and formal languages
پدیدآورنده : Kurki-Suonio, Reino.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
K87
2. An introduction to formal language theory
پدیدآورنده : Moll, Robert N.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Programming languages )Electronic computers(,، Formal languages
رده :
QA
76
.
7
.
M65
1988
3. An introduction to formal language theory
پدیدآورنده : Moll, Robert N.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Formal languages
رده :
QA
76
.
7
.
M65
1988
4. Automata, Languages and programming, 16th international colloquium, Stressa, Italy, July 1989 proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
A9228
1989
5. Automata, Languages, and programming: 19th international colloquium, Wien, Austria, July 13-17, 1992: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine thoery-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
267
.
A87
1992
6. Automata, language and programming; seventh Colloquium Noordwijkerhout, The Netherlands July 14-18, 1980
پدیدآورنده : edited by J. W. de Bakker and J. van Leeuwen
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
85
7. Automata, language and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
پدیدآورنده : edited by Wilfried Brauer
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
194
8. Automata, languages, and programming
پدیدآورنده :
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Machine theory - Congresses,Formal languages - Congresses,Programming )Electronic computers( - Congresses
رده :
QA
.
A923
267
9. Automata, languages, and programming
پدیدآورنده :
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
52
,
etc
...
10. Automata, languages and programming :
پدیدآورنده : edited by G. Ausiello and C. Böhm.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
11. Automata, languages, and programming
پدیدآورنده : / Zoltan Fulop, Ferenc Gecseg (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
رده :
QA267
.
A923
1995
12. Automata, languages, and programming
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
267
.
A923
13. Automata, languages and programming
پدیدآورنده : / M. S. Paterson(ed)
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Machine theory-- congresses,Formal languages-- Congresses,Programming (Electronic computers) -- Congresses
رده :
QA
267
.
A9228
1990
14. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده : edited by Arto Salomaa and Magnus Steinby
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
C63
1977
15. Automata, languages, and programming : 24th International Colloquium, ICALP 97 Bologna, Italy, July 7-11, 1997 : proceedings
پدیدآورنده : Pierpaolo Degano, Roberto Gorrier, Alberto Marchetti-Spaccamela )eds.(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Machine theory - Congresses , Formal languages - Congresses , Programming )Electronic computers( - Congresses
رده :
QA
267
.
I57
1997
16. Automata, languages and programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991 proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory--Congresses,، Formal languages--Congresses,، Programming )Electronic Computers(--Congresses
رده :
QA
267
.
A9228
1991
17. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
پدیدآورنده : edited by Laurent kott
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
18. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
I55
1985
19. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
20. Formal description techniques, II
پدیدآورنده : / Edited by Son T. Vuong
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
